Optimal. Leaf size=133 \[ \frac{(76 x+23) \left (3 x^2+2\right )^{5/2}}{140 (2 x+3)^5}+\frac{(8193 x+6637) \left (3 x^2+2\right )^{3/2}}{9800 (2 x+3)^3}-\frac{9 (2643 x+8575) \sqrt{3 x^2+2}}{19600 (2 x+3)}+\frac{789723 \tanh ^{-1}\left (\frac{4-9 x}{\sqrt{35} \sqrt{3 x^2+2}}\right )}{39200 \sqrt{35}}+\frac{63}{32} \sqrt{3} \sinh ^{-1}\left (\sqrt{\frac{3}{2}} x\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0806538, antiderivative size = 133, normalized size of antiderivative = 1., number of steps used = 7, number of rules used = 6, integrand size = 24, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.25, Rules used = {811, 813, 844, 215, 725, 206} \[ \frac{(76 x+23) \left (3 x^2+2\right )^{5/2}}{140 (2 x+3)^5}+\frac{(8193 x+6637) \left (3 x^2+2\right )^{3/2}}{9800 (2 x+3)^3}-\frac{9 (2643 x+8575) \sqrt{3 x^2+2}}{19600 (2 x+3)}+\frac{789723 \tanh ^{-1}\left (\frac{4-9 x}{\sqrt{35} \sqrt{3 x^2+2}}\right )}{39200 \sqrt{35}}+\frac{63}{32} \sqrt{3} \sinh ^{-1}\left (\sqrt{\frac{3}{2}} x\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 811
Rule 813
Rule 844
Rule 215
Rule 725
Rule 206
Rubi steps
\begin{align*} \int \frac{(5-x) \left (2+3 x^2\right )^{5/2}}{(3+2 x)^6} \, dx &=\frac{(23+76 x) \left (2+3 x^2\right )^{5/2}}{140 (3+2 x)^5}-\frac{\int \frac{(-1248+1752 x) \left (2+3 x^2\right )^{3/2}}{(3+2 x)^4} \, dx}{1120}\\ &=\frac{(6637+8193 x) \left (2+3 x^2\right )^{3/2}}{9800 (3+2 x)^3}+\frac{(23+76 x) \left (2+3 x^2\right )^{5/2}}{140 (3+2 x)^5}+\frac{\int \frac{(372096-1522368 x) \sqrt{2+3 x^2}}{(3+2 x)^2} \, dx}{627200}\\ &=-\frac{9 (8575+2643 x) \sqrt{2+3 x^2}}{19600 (3+2 x)}+\frac{(6637+8193 x) \left (2+3 x^2\right )^{3/2}}{9800 (3+2 x)^3}+\frac{(23+76 x) \left (2+3 x^2\right )^{5/2}}{140 (3+2 x)^5}-\frac{\int \frac{12178944-59270400 x}{(3+2 x) \sqrt{2+3 x^2}} \, dx}{5017600}\\ &=-\frac{9 (8575+2643 x) \sqrt{2+3 x^2}}{19600 (3+2 x)}+\frac{(6637+8193 x) \left (2+3 x^2\right )^{3/2}}{9800 (3+2 x)^3}+\frac{(23+76 x) \left (2+3 x^2\right )^{5/2}}{140 (3+2 x)^5}+\frac{189}{32} \int \frac{1}{\sqrt{2+3 x^2}} \, dx-\frac{789723 \int \frac{1}{(3+2 x) \sqrt{2+3 x^2}} \, dx}{39200}\\ &=-\frac{9 (8575+2643 x) \sqrt{2+3 x^2}}{19600 (3+2 x)}+\frac{(6637+8193 x) \left (2+3 x^2\right )^{3/2}}{9800 (3+2 x)^3}+\frac{(23+76 x) \left (2+3 x^2\right )^{5/2}}{140 (3+2 x)^5}+\frac{63}{32} \sqrt{3} \sinh ^{-1}\left (\sqrt{\frac{3}{2}} x\right )+\frac{789723 \operatorname{Subst}\left (\int \frac{1}{35-x^2} \, dx,x,\frac{4-9 x}{\sqrt{2+3 x^2}}\right )}{39200}\\ &=-\frac{9 (8575+2643 x) \sqrt{2+3 x^2}}{19600 (3+2 x)}+\frac{(6637+8193 x) \left (2+3 x^2\right )^{3/2}}{9800 (3+2 x)^3}+\frac{(23+76 x) \left (2+3 x^2\right )^{5/2}}{140 (3+2 x)^5}+\frac{63}{32} \sqrt{3} \sinh ^{-1}\left (\sqrt{\frac{3}{2}} x\right )+\frac{789723 \tanh ^{-1}\left (\frac{4-9 x}{\sqrt{35} \sqrt{2+3 x^2}}\right )}{39200 \sqrt{35}}\\ \end{align*}
Mathematica [A] time = 0.195889, size = 100, normalized size = 0.75 \[ \frac{789723 \sqrt{35} \tanh ^{-1}\left (\frac{4-9 x}{\sqrt{35} \sqrt{3 x^2+2}}\right )-\frac{70 \sqrt{3 x^2+2} \left (88200 x^5+2740188 x^4+11367738 x^3+20911298 x^2+17940463 x+5999363\right )}{(2 x+3)^5}}{1372000}+\frac{63}{32} \sqrt{3} \sinh ^{-1}\left (\sqrt{\frac{3}{2}} x\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.013, size = 248, normalized size = 1.9 \begin{align*} -{\frac{13}{5600} \left ( 3\, \left ( x+3/2 \right ) ^{2}-9\,x-{\frac{19}{4}} \right ) ^{{\frac{7}{2}}} \left ( x+{\frac{3}{2}} \right ) ^{-5}}-{\frac{11}{24500} \left ( 3\, \left ( x+3/2 \right ) ^{2}-9\,x-{\frac{19}{4}} \right ) ^{{\frac{7}{2}}} \left ( x+{\frac{3}{2}} \right ) ^{-4}}-{\frac{521}{857500} \left ( 3\, \left ( x+3/2 \right ) ^{2}-9\,x-{\frac{19}{4}} \right ) ^{{\frac{7}{2}}} \left ( x+{\frac{3}{2}} \right ) ^{-3}}-{\frac{2241}{30012500} \left ( 3\, \left ( x+3/2 \right ) ^{2}-9\,x-{\frac{19}{4}} \right ) ^{{\frac{7}{2}}} \left ( x+{\frac{3}{2}} \right ) ^{-2}}+{\frac{1131399\,x}{525218750} \left ( 3\, \left ( x+3/2 \right ) ^{2}-9\,x-{\frac{19}{4}} \right ) ^{{\frac{5}{2}}}}-{\frac{377133}{525218750} \left ( 3\, \left ( x+3/2 \right ) ^{2}-9\,x-{\frac{19}{4}} \right ) ^{{\frac{7}{2}}} \left ( x+{\frac{3}{2}} \right ) ^{-1}}+{\frac{267723\,x}{12005000} \left ( 3\, \left ( x+3/2 \right ) ^{2}-9\,x-{\frac{19}{4}} \right ) ^{{\frac{3}{2}}}}+{\frac{248967\,x}{686000}\sqrt{3\, \left ( x+3/2 \right ) ^{2}-9\,x-{\frac{19}{4}}}}+{\frac{63\,\sqrt{3}}{32}{\it Arcsinh} \left ({\frac{x\sqrt{6}}{2}} \right ) }+{\frac{789723\,\sqrt{35}}{1372000}{\it Artanh} \left ({\frac{ \left ( 8-18\,x \right ) \sqrt{35}}{35}{\frac{1}{\sqrt{12\, \left ( x+3/2 \right ) ^{2}-36\,x-19}}}} \right ) }-{\frac{789723}{262609375} \left ( 3\, \left ( x+3/2 \right ) ^{2}-9\,x-{\frac{19}{4}} \right ) ^{{\frac{5}{2}}}}-{\frac{789723}{1372000}\sqrt{12\, \left ( x+3/2 \right ) ^{2}-36\,x-19}}-{\frac{263241}{6002500} \left ( 3\, \left ( x+3/2 \right ) ^{2}-9\,x-{\frac{19}{4}} \right ) ^{{\frac{3}{2}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] time = 1.55783, size = 329, normalized size = 2.47 \begin{align*} \frac{6723}{30012500} \,{\left (3 \, x^{2} + 2\right )}^{\frac{5}{2}} - \frac{13 \,{\left (3 \, x^{2} + 2\right )}^{\frac{7}{2}}}{175 \,{\left (32 \, x^{5} + 240 \, x^{4} + 720 \, x^{3} + 1080 \, x^{2} + 810 \, x + 243\right )}} - \frac{44 \,{\left (3 \, x^{2} + 2\right )}^{\frac{7}{2}}}{6125 \,{\left (16 \, x^{4} + 96 \, x^{3} + 216 \, x^{2} + 216 \, x + 81\right )}} - \frac{1042 \,{\left (3 \, x^{2} + 2\right )}^{\frac{7}{2}}}{214375 \,{\left (8 \, x^{3} + 36 \, x^{2} + 54 \, x + 27\right )}} - \frac{2241 \,{\left (3 \, x^{2} + 2\right )}^{\frac{7}{2}}}{7503125 \,{\left (4 \, x^{2} + 12 \, x + 9\right )}} + \frac{267723}{12005000} \,{\left (3 \, x^{2} + 2\right )}^{\frac{3}{2}} x - \frac{263241}{6002500} \,{\left (3 \, x^{2} + 2\right )}^{\frac{3}{2}} - \frac{377133 \,{\left (3 \, x^{2} + 2\right )}^{\frac{5}{2}}}{30012500 \,{\left (2 \, x + 3\right )}} + \frac{248967}{686000} \, \sqrt{3 \, x^{2} + 2} x + \frac{63}{32} \, \sqrt{3} \operatorname{arsinh}\left (\frac{1}{2} \, \sqrt{6} x\right ) - \frac{789723}{1372000} \, \sqrt{35} \operatorname{arsinh}\left (\frac{3 \, \sqrt{6} x}{2 \,{\left | 2 \, x + 3 \right |}} - \frac{2 \, \sqrt{6}}{3 \,{\left | 2 \, x + 3 \right |}}\right ) - \frac{789723}{686000} \, \sqrt{3 \, x^{2} + 2} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.94904, size = 589, normalized size = 4.43 \begin{align*} \frac{2701125 \, \sqrt{3}{\left (32 \, x^{5} + 240 \, x^{4} + 720 \, x^{3} + 1080 \, x^{2} + 810 \, x + 243\right )} \log \left (-\sqrt{3} \sqrt{3 \, x^{2} + 2} x - 3 \, x^{2} - 1\right ) + 789723 \, \sqrt{35}{\left (32 \, x^{5} + 240 \, x^{4} + 720 \, x^{3} + 1080 \, x^{2} + 810 \, x + 243\right )} \log \left (\frac{\sqrt{35} \sqrt{3 \, x^{2} + 2}{\left (9 \, x - 4\right )} - 93 \, x^{2} + 36 \, x - 43}{4 \, x^{2} + 12 \, x + 9}\right ) - 140 \,{\left (88200 \, x^{5} + 2740188 \, x^{4} + 11367738 \, x^{3} + 20911298 \, x^{2} + 17940463 \, x + 5999363\right )} \sqrt{3 \, x^{2} + 2}}{2744000 \,{\left (32 \, x^{5} + 240 \, x^{4} + 720 \, x^{3} + 1080 \, x^{2} + 810 \, x + 243\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] time = 1.22076, size = 474, normalized size = 3.56 \begin{align*} -\frac{63}{32} \, \sqrt{3} \log \left (-\sqrt{3} x + \sqrt{3 \, x^{2} + 2}\right ) - \frac{789723}{1372000} \, \sqrt{35} \log \left (-\frac{{\left | -2 \, \sqrt{3} x - \sqrt{35} - 3 \, \sqrt{3} + 2 \, \sqrt{3 \, x^{2} + 2} \right |}}{2 \, \sqrt{3} x - \sqrt{35} + 3 \, \sqrt{3} - 2 \, \sqrt{3 \, x^{2} + 2}}\right ) - \frac{9}{64} \, \sqrt{3 \, x^{2} + 2} - \frac{3 \,{\left (3103461 \,{\left (\sqrt{3} x - \sqrt{3 \, x^{2} + 2}\right )}^{9} + 28143036 \, \sqrt{3}{\left (\sqrt{3} x - \sqrt{3 \, x^{2} + 2}\right )}^{8} + 283092753 \,{\left (\sqrt{3} x - \sqrt{3 \, x^{2} + 2}\right )}^{7} + 328235733 \, \sqrt{3}{\left (\sqrt{3} x - \sqrt{3 \, x^{2} + 2}\right )}^{6} - 360132696 \,{\left (\sqrt{3} x - \sqrt{3 \, x^{2} + 2}\right )}^{5} - 774358774 \, \sqrt{3}{\left (\sqrt{3} x - \sqrt{3 \, x^{2} + 2}\right )}^{4} + 1736218428 \,{\left (\sqrt{3} x - \sqrt{3 \, x^{2} + 2}\right )}^{3} - 495467552 \, \sqrt{3}{\left (\sqrt{3} x - \sqrt{3 \, x^{2} + 2}\right )}^{2} + 199787184 \, \sqrt{3} x - 11086336 \, \sqrt{3} - 199787184 \, \sqrt{3 \, x^{2} + 2}\right )}}{156800 \,{\left ({\left (\sqrt{3} x - \sqrt{3 \, x^{2} + 2}\right )}^{2} + 3 \, \sqrt{3}{\left (\sqrt{3} x - \sqrt{3 \, x^{2} + 2}\right )} - 2\right )}^{5}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]